实际系统输出的确定

在实际测试中,系统存在有非线性.同时,还有测量噪声及非测量输入引起的系统输出。这些因素都对系统的输出产生影响。把这些因素均假设为系统的非线性,利用理想线性系统和相干函数,推导出了实际系统输出,同时讨论了用这种方法提高载荷识别精度的问题。     

用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

2014nccet：一种新的用于减少远程Cache访问延迟的最后一次写访问预测方法*

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

Stolen trauma: why some veterans elaborate their psychological experience of military service

The embellishment of a warrior biography has a long history but examples of veteran elaboration of traumatic experience have become increasingly apparent. Although legislative change in the UK has removed the penalties for fabrication and a progressive decline in the military footprint may have increased the likelihood of such false trauma narratives, a paradigm shift in explanations for mental illness underpins this phenomenon. The recognition of post-traumatic stress disorder (PTSD) in 1980, followed by studies to identify risk factors, led to a greater appreciation of psychological vulnerability. As a result, the use of shame to discourage acts formerly labelled as “cowardly” or “lacking in morale fibre” is no longer considered appropriate. Recent conflicts in Iraq and Afghanistan generated popular sympathy for service personnel, whilst media focus on PTSD has led the UK public to believe that most veterans have been traumatised by their tours of duty.     

汉乐府名篇教学探析

乐府是汉代文学的重要部分，对五言诗歌的成熟起了极为重要的作用。在古代文学的教学过程中，将汉乐府和先秦时期的诗经、楚辞进行比较，从思想内容、叙事艺术、人物形象等方面解读汉乐府中的名篇，可以让学生更好地理解掌握汉代文学的特点。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

GENDER AWARENESS IN RESEARCH AND POLICY MAKING

Abstract

There is an assumption that we can enhance peacebuilding by improving the tools that we use for assessments, planning and evaluation. However, the focus on tools creates the impression that peacebuilding challenges are technical. Improving tools is not meaningless, but our preoccupation with tools has a negative effect when it becomes a front for avoiding dealing with the deeper inherent contradictions in peacebuilding. There are limits to our knowledge and our ability to engineer specific outcomes in complex systems. There are unrealistically high expectations of coherence, unity of purpose and cooperation among peacebuilding actors. Peacebuilding agents are interconnected, but that does not imply that they have the same objectives, mandates, principles and values. Interconnected problems call for interconnected responses, not for one coherent response. Coherence should not be about negotiating a common position, and then promoting it regardless of changing dynamics. Coherence should be about continuously managing competing interests and interdependencies. The interaction between dissention, competition for resources, and the tension between different approaches and policy choices is not only normal but necessary to ensure the optimal functioning of the system.     

The virtual dimension of contemporary insurgency and counterinsurgency

This paper looks at the virtual dimension of contemporary insurgency and counterinsurgency. It argues that the West is faltering in the ‘War of Ideas’ with global Jihad for the main reason that the messages that we wish to convey lack narrative coherence. This is a result of the fact that we misapprehend the nature of the virtual operational environment whereas our opponents possess an intuitive grasp of it as a result of which their structure and method of operations are better adapted and more effective than our own. There is no reason, beyond inertia, that this should remain the case.     

基于信息论的C3I系统决策性能的评价

信息熵是描述信息系统的一种比较成功的方法.采用信息论的方法对决策系统进行描述,在考虑了决策者的有界合理性限制和达到满意性能指标的要求下,分析了单人指挥决策系统的系统性能,并在此基础上分析了多人指挥决策系统的系统性能,最后得出采用决策系统的误差概率P和相互一致性度量Q作为评价C3I系统决策性能标准的结论.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。